Type Definition isotope::ctx::ty::Trivial[][src]

type Trivial = BinaryCtx<(), Untyped>;
Expand description

A trivial typing context